a            { text-decoration: none }
a:link       { color: #339966; background-color: transparent; font-weight: bold }
a:visited    { color: #009999; background-color: transparent }
a:hover      { color: #0000FF; background-color: transparent }
body, table, p, ul, li  { font-family: Arial, helvetica, sans-serif; font-size: 10pt; background-color: #FFEECC; color: #000000; text-align: left }

h1, h2, h3   { font-family: Arial, helvetica, sans-serif; color: #006699; background-color: transparent; text-align: left }

/* Use this style to highlite changes to problem sets */
.change      { color: #000000; background-color: #99CCFF }

/* The following are used to highlite SML code */
.comment     { color: #CC0000; background-color: transparent; font-weight: bold }
.string      { color: #339966; background-color: transparent}
.keyword     { color: #0000CC; background-color: transparent; font-weight: bold }
.codeback    { color: #000000; background-color: #dddddd; line-height: 14px }

h1  { font-size: 20pt; }
h2  { font-size: 16pt; }
h3  { font-size: 12pt; }
pre, xmp { font-family: Courier New, Courier, sans-serif; margin-left: 1em; font-size: 10pt; }
kbd, tt, code { font-family: Courier New, Courier, sans-serif; font-size: 10pt; }
td { font-family: Arial, helvetica, sans-serif; font-size: 10pt; }